cd ssolver
sh clean.sh
cd ..
rm *.cmo *.cmi spilexer.ml spiparser.ml spiparser.mli spiparser.output
